ML-TIPN: An Algorithm for Automated Acquisition of Domain Models based on Time Interval Petri Nets

نویسندگان

  • Vadim Bulitko
  • David C. Wilkins
چکیده

Extended Petri Nets have been applied to artificial intelligence reasoning processes, in areas such as planning, uncertainty reasoning, knowledgebased intelligent systems, and qualitative simulation. Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) domain models. In a preliminary evaluation within a damage control domain, the method learned a nearly perfect model of fire spread augmented with temporal and spatial data.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Machine Learning for Time Interval Petri Nets

Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) dom...

متن کامل

Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets

This paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed to support a qualitative simulation of temporal concurrent processes. One of the key features of TIPNs is a uniform use of time intervals throughout the model. This enables a natural and efficient representation of temporal uncertainty in inputs, outputs, and intermediate states of the qualitative simula...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Real-time Decision Making For Shipboard Damage Control

This paper presents a formalism called Time Interval Petri Networks (TIPNs) and shows their efficacy for model-based envisionment of real-time concurrent interacting processes with temporal constraints. The TIPN formalism is developed by extending Petri Networks to Time Interval Petri Networks. The process of TIPN construction from a state-process domain model is described. Experimental results...

متن کامل

Modeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net

A Time Interval Petri net (TIPN) is proposed and used to model flight operation. Based on the TIPN model, the flight delay propagation analysis algorithm is provided, which reduces the complexity of flight delay propagation analysis algorithm. Time interval constraints are attached to places and transitions in TIPN model, which could model the flight turnaround time and flight flying period. Me...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Multiple-Valued Logic and Soft Computing

دوره 12  شماره 

صفحات  -

تاریخ انتشار 2006